<?php
+(int)$a;